As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

In the discourse on International Justice, traditional frameworks are deeply rooted in 'embodied metaphysics'—a perspective embedded in the tangible experiences of human existence. By contrasting the physical with the digital realms, I suggest that our current global justice systems are ill-equipped to address the complexities of the digital age. Utilizing the metaphor of water to highlight the often-unseen environment shaping justice theories and practices, I argue that International Justice, as conventionally understood, reflects the constraints akin to fish oblivious to the (...) water surrounding them. In digital spaces, individuals are no longer bound by principles of singularity and locality, and instead operate by principles of multiplicity and nonlocality. These metaphysical differences disrupt many theories of global justice assuming singularity and nonlocality. My aim is to encourage scholars and practitioners to 'see water'—to acknowledge and critically reassess the foundational assumptions underlying their theories and practices in an era of digital transformation. (shrink)

Vision is an important metaphor in ethical and political questions of knowledge. The feminist philosopher Donna Haraway points out the “perverse” nature of an intrusive, alienating, all-seeing vision (to which we might cry out “stop looking at me!”), but also encourages us to embrace the embodied nature of sight and its promises for genuinely situated knowledge. Current technologies of machine vision – surveillance cameras, drones (for war or recreation), iPhone cameras – are usually construed as instances of the former rather (...) than the latter, and for good reasons. However, although in no way attempting to diminish the real suffering these technologies have brought about in the world, I make the case for understanding technologies of computer vision as material instances of embodied seeing and situated knowing. Furthermore, borrowing from Iris Murdoch’s concept of moral vision, I suggest that these technologies direct our labor towards self-reflection in ethically significant ways. My approach draws upon paradigms in computer vision research, phenomenology, and feminist epistemology. Ultimately, this essay is an argument for directing more philosophical attention from merely criticizing technologies of vision as ethically deficient towards embracing them as complex, methodologically and epistemologically important objects. (shrink)

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

Não é pensando que criamos mundos. É compreendendo o mundo que aprendemos a pensar. Cosmovisão é um termo que deve significar um conjunto de fundamentos dos quais emerge uma compreensão sistêmica do Universo, seus componentes como a vida, o mundo em que vivemos, a natureza, o fenômeno humano e suas relações. Trata-se, portanto, de um campo da filosofia analítica alimentado pelas ciências, cujo objetivo é esse conhecimento agregado e epistemologicamente sustentável sobre tudo o que somos e contemos, que nos cerca (...) e que nos relaciona de alguma forma. É algo tão antigo quanto o pensamento humano e, além de utilizar elementos da cosmologia científica, engloba tudo na filosofia e na ciência que se refere ao universo e à vida. Uma cosmovisão não é um conjunto de ideias, hipóteses e suposições, mas um sistema baseado em observação, análise, evidência e demonstração. Nenhuma cosmovisão pretende definir, estabelecer, propor, mas apenas compreender, analisar e interpretar. Cada um de nós constrói e transporta sua cosmovisão ao longo da vida, sem estabelecer formas, como pano de fundo para nosso pensamento e comportamento. Linguisticamente, o termo “cosmovisão” derivaria do alemão, equivalente ao conceito de “ Weltanschauung”, usado por vários filósofos. No entanto, essa relação linguística não é aplicável porque contraria o que propomos como cosmovisão. Esta palavra alemã refere-se a uma visão pré-lógica ou proto-experimental da realidade, com um contexto intuitivo e longe de um conhecimento crítico ainda inexistente no momento da sua formulação. Sem dúvida, as cosmovisões , no sentido em que as entendemos, abrigam e utilizam esses elementos protoexperimentais ou pré-lógicos que incluem a história, o inconsciente coletivo e todos os arquétipos que carregamos. No entanto, no conceito que aqui aplicamos, a cosmovisão vai muito além desse conteúdo, primeiro por submetê-lo constantemente ao pensamento crítico presente e, finalmente, por tornar a experiência analítica (e não o próprio pensamento ou intuição) seu universo real. António Lopes expõe a amplitude deste conteúdo: -/- “Cosmovisões não são o produto do pensamento. Não nascem do simples desejo de saber. A apreensão da realidade é um momento importante em sua configuração, mas, no entanto, é apenas um. Vem da conduta vital, da experiência da vida, da estrutura de nossa totalidade psíquica. A elevação da vida à consciência no conhecimento da realidade, na valorização da vida e na realidade volitiva é o trabalho lento e árduo que a humanidade tem feito no desenvolvimento das concepções de vida. (W. Dilthey, 1992 [1911]: 120)” Neste trabalho, buscamos traçar uma cosmovisão baseada nas realidades que a ciência oferece hoje. Não nos propomos, em nenhum momento, a fazer ciência ou teorizar a filosofia, mas sempre buscaremos ser apoiados por elas ou, pelo menos, protegidos por elas das distorções cognitivas que costumamos carregar. (shrink)

Ce n'est pas en pensant que nous créons des mondes. C'est en comprenant le monde que nous apprenons à penser. La cosmovision est un terme qui devrait désigner un ensemble de fondements d'où émerge une compréhension systémique de l'Univers, de ses composantes comme la vie, le monde dans lequel nous vivons, la nature, le phénomène humain et leurs relations. C'est donc un champ de la philosophie analytique nourri par les sciences, dont l'objectif est cette connaissance agrégée et épistémologiquement soutenable de (...) tout ce que nous sommes et contenons, qui nous entoure, et qui nous concerne de quelques manières que ce soit. C'est quelque chose d'aussi vieux que la pensée humaine et, en plus d'utiliser des éléments de la cosmologie scientifique, il englobe tout ce qui, dans la philosophie et la science, se réfère à l'univers et à la vie. Une cosmovision n'est pas un ensemble d'idées, d'hypothèses et de suppositions, mais un système établi sur l'observation, l'analyse, la preuve et la démonstration. Aucune cosmovision n'entend définir, établir ou proposer, mais seulement comprendre, analyser et interpréter. Chacun de nous construit et transporte sa cosmovision tout au long de sa vie, sans établir de forme, comme toile de fond de nos pensées et de nos comportements. Linguistiquement, le terme « cosmovision » dériverait de l'allemand, équivalent au concept de « Weltanschauung », tel qu'il a été utilisé par plusieurs philosophes. Cependant, cette relation linguistique n'est pas applicable, car elle contredit ce que nous proposons comme cosmovision. Ce mot allemand fait référence à une vision prélogique ou proto-expérimentale de la réalité, avec un contexte intuitif et loin des connaissances critiques encore inexistantes au moment de sa formulation. Sans aucun doute, les cosmovisions, au sens où nous les entendons, abritent et utilisent ces éléments proto-expérimentaux ou prélogiques qui incluent l'histoire, l'inconscient collectif et tous les archétypes que nous portons. Or, dans le concept que nous appliquons ici, la cosmovision va bien au-delà de ce contenu, d'abord en le soumettant constamment à la pensée critique actuelle et enfin en faisant de l'expérience analytique (et non de la pensée elle-même ou de l'intuition) son univers réel. António Lopes expose l'étendue de ce contenu : [ ] « Les cosmovisions ne sont pas le produit de la pensée. Ils ne naissent pas du simple désir de savoir. L'appréhension de la réalité est un moment important dans sa configuration, mais, néanmoins, ce n'en est qu'un. Elle vient de la conduite vitale, de l'expérience de la vie, de la structure de notre totalité psychique. L'élévation de la vie à la conscience dans la connaissance de la réalité, dans l'évaluation de la vie et dans la réalité volitive est le travail lent et ardu que l'humanité a fait dans le développement des conceptions de la vie. (W.Dilthey, 1992 [1911] : 120). Dans cet ouvrage, nous cherchons à esquisser une cosmovision fondée sur les réalités que la science offre aujourd'hui. Nous ne proposons, à aucun moment, de faire de la science ; ou théoriser la philosophie, mais nous chercherons toujours à être soutenus par eux ou, du moins, protégés par eux des distorsions cognitives que nous portons habituellement. -/- . (shrink)

Nicht durch das Denken erschaffen wir Welten. Indem wir die Welt verstehen, lernen wir zu denken. Kosmovision ist ein Begriff, der eine Reihe von Grundlagen bedeuten sollte, aus denen ein systemisches Verständnis des Universums, seiner Bestandteile als Leben, der Welt, in der wir leben, der Natur, des menschlichen Phänomens und ihrer Beziehungen hervorgehen sollte. Es handelt sich also um ein von den Wissenschaften gespeistes Feld der analytischen Philosophie, deren Ziel dieses aggregierte und erkenntnistheoretisch nachhaltige Wissen über alles ist, was wir (...) sind und beinhalten, was uns umgibt und was uns in einer Weise betrifft. Sie ist so alt wie das menschliche Denken und umfasst neben der Verwendung von Elementen der wissenschaftlichen Kosmologie alles in Philosophie und Wissenschaft, was sich auf das Universum und das Leben bezieht. Eine Kosmovision ist keine Sammlung von Ideen, Hypothesen und Annahmen, sondern ein System, das auf Beobachtung, Analyse, Beweisen und Demonstrationen basiert. Keine Kosmovision will definieren, etablieren oder vorschlagen, sondern nur verstehen, analysieren und interpretieren. Jeder von uns baut und transportiert sein ganzes Leben lang seine Kosmovision, ohne Formen zu etablieren, als Hintergrund für unser Denken und Handeln. In dieser Arbeit versuchen wir, eine Kosmovision zu skizzieren, die auf den Realitäten basiert, die die Wissenschaft heute bietet. Wir schlagen zu keinem Zeitpunkt vor, Wissenschaft zu betreiben; oder Philosophie zu theoretisieren, aber wir werden immer versuchen, von ihnen unterstützt oder zumindest vor den kognitiven Verzerrungen geschützt zu werden, die wir normalerweise mit uns herumtragen. (shrink)

Космовидение - термин, под которым следует понимать совокупность оснований, из которых возникает системное понимание Вселенной, таких ее составляющих, как жизнь, мир, в котором мы живем, природа, феномен человека, и их взаимосвязей. таким образом, это область аналитической философии, питаемая науками, целью которой является совокупное и эпистемологически устойчивое знание обо всем, чем мы являемся и что в нас содержится, что нас окружает и что так или иначе с нами связано. это старое, как человеческая мысль, понятие, которое не только использует элементы научной космологии, (...) но и охватывает все, что относится к вселенной и жизни в философии и науке. Космовидение — это не набор идей, гипотез и предположений, а система, основанная на наблюдениях, анализе, доказательствах и демонстрациях. Космовидение не ставит своей целью определить, установить или предложить, а лишь понять, проанализировать и интерпретировать. Каждый из нас строит и переносит свое космовидение в течение жизни, не устанавливая форм, как фон для нашего мышления и поведения. С лингвистической точки зрения термин "космовидение" происходит от немецкого, эквивалентного понятию "Weltanschauung", используемому рядом философов. Однако эта лингвистическая связь неприменима, поскольку противоречит тому, что мы предлагаем в качестве космовидения. Это немецкое слово обозначает дологическое или протоэкспериментальное видение реальности, имеющее интуитивный контекст и далекое от критического знания, еще не существовавшего на момент его формулировки. Несомненно, космовидения в том смысле, как мы их понимаем, содержат и используют эти протоэкспериментальные или дологические элементы, включающие историю, коллективное бессознательное и все архетипы, которые мы носим в себе. Однако в той концепции, которую мы здесь применяем, космовидение выходит далеко за пределы этого содержания, во-первых, постоянно подчиняя его современному критическому мышлению и, наконец, делая аналитический опыт (а не саму мысль или интуицию) своей актуальной вселенной. Антониу Лопес раскрывает широту этого содержания: -/- "Космовидения не являются продуктом мысли. Они не возникают из простого желания знать. Постижение реальности - важный момент в ее конфигурации, но, тем не менее, только один. Оно исходит из жизненного поведения, из жизненного опыта, из структуры нашей психической совокупности. Возвышение жизни до сознания в познании реальности, в оценке жизни и в волевой реальности — это медленная и тяжелая работа, которую проделало человечество в развитии представлений о жизни". (В. Дильтей, 1992 [1911]: 120)". . В данной работе мы стремимся изложить космовидение, основанное на тех реалиях, которые сегодня предлагает наука. Мы ни в коем случае не собираемся заниматься наукой или теоретизировать философию, но всегда будем стремиться опираться на них или, по крайней мере, защищаться ими от тех когнитивных искажений, которые мы обычно несем. (shrink)

John McDowell and Bill Brewer famously defend the view that one can only have empirical beliefs if one’s perceptual experiences serve as reasons for such beliefs, where reasons are understood in terms of subject’s reasons. In this paper I show, first, that it is a consequence of the adoption of such a requirement for one to have empirical beliefs that children as old as 3 years of age have to considered as not having genuine empirical beliefs at all. But we (...) have strong reasons to think that 3-year-old children have empirical beliefs, or so I argue. If this is the case, McDowell and Brewer’s requirement for one to have empirical beliefs faces a strong challenge. After showing this, I propose an alternative requirement for one to have empirical beliefs, and argue that it should be favoured over McDowell and Brewer’s requirement. (shrink)

In this paper I will present three arguments (based on the notions of constitution, metaphysical reality, and truth, respectively) with the aim of shedding some new light on the structure of Fine’s (2005, 2006) ‘McTaggartian’ arguments against the reality of tense. Along the way, I will also (i) draw a novel map of the main realist positions about tense, (ii) unearth a previously unnoticed but potentially interesting form of external relativism (which I will label ‘hyper-presentism’) and (iii) sketch a novel (...) interpretation of Fine’s fragmentalism (which I contrast with Lipman’s 2015, 2016b, forthcoming). (shrink)

Reasons-first theorists claim that facts about reasons for attitudes are normatively primitive, and that all other normative facts ultimately reduce to facts about reasons. According to their view, for example, the fact that something is good ultimately reduces to facts about reasons to favour it. I argue that these theories face a challenging dilemma due to the normativity of arational lifeforms, for instance the fact that water is good for plants. If all normative facts are, ultimately, facts about reasons for (...) attitudes, then reasons-first theorists must either (a) show that these facts do reduce to facts about reasons, or (b) concede that they do not and, instead, show that this is not a problem for their view. Both options, however, are riddled with difficulties—or so I will try to argue. (shrink)

There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (shrink)

In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...) lack a well-defined goal. Aside from providing a clearer objective for XAI, focusing on understanding also allows us to relax the factivity condition on explanation, which is impossible to fulfill in many machine learning models, and to focus instead on the pragmatic conditions that determine the best fit between a model and the methods and devices deployed to understand it. After an examination of the different types of understanding discussed in the philosophical and psychological literature, I conclude that interpretative or approximation models not only provide the best way to achieve the objectual understanding of a machine learning model, but are also a necessary condition to achieve post hoc interpretability. This conclusion is partly based on the shortcomings of the purely functionalist approach to post hoc interpretability that seems to be predominant in most recent literature. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

According to Composition is Identity, a whole is literally identical to the plurality of its parts. According to Mereological Nihilism, nothing has proper parts. In this note, it is argued that Composition is Identity can be shown to entail Mereological Nihilism in a much more simple and direct way than the one recently proposed by Claudio Calosi.

Grounding contingentism is the doctrine according to which grounds are not guaranteed to necessitate what they ground. In this paper I will argue that the most plausible version of contingentism is incompatible with the idea that the grounding relation is transitive, unless either ‘priority monism’ or ‘contrastivism’ are assumed.

What is the relation between parts taken together and the whole that they compose? The recent literature appears to be dominated by two different answers to this question, which are normally thought of as being incompatible. According to the first, parts taken together are identical to the whole that they compose. According to the second, the whole is grounded in its parts. The aim of this paper is to make some theoretical room for the view according to which parts ground (...) the whole they compose while being, at the same time, identical to it. (shrink)

n the philosophy of language, there are many ongoing controversies that stem from relying too heavily on an utterance-based framework. The traditional approach of rigidly partitioning the utterance’s meaning into what is grammatically determined from what is not may not fully capture the complexity of human language in real-world communicative contexts. To address this issue, we suggest shifting focus toward a broader analysis level encompassing conversations and discourses. From this broader perspective, it is possible to obtain a more integrated view (...) of how linguistic and extra-linguistic aspects dynamically interact and thus reconsider semantics/pragmatics dichotomy as complementary dimensions. Meaning is not confined to linguistic structures alone but emerges from the dynamic interplay of words, sociocultural knowledge, discursive situations, and psychological dispositions of speakers. Substantiating this perspective calls for embracing an interdisciplinary approach that synthesizes research from various domains, including linguistics, cognitive psychology, and philosophy of language. This paper focuses on a particularly compelling case study: aphasia. Speeches produced by individuals with aphasia represent complex scenarios where the balance between linguistic and extra-linguistic aspects is notably compromised, often to the former’s detriment. Aphasics’ productions represent a vivid example of how the interpretation of speeches can be far from involving fixed and static operations. Instead, it entails continuously reallocating cognitive resources toward the most readily available and accessible sources for the speakers. This case study ultimately demonstrates that the influence of semantic and pragmatic processes in shaping and conveying meanings displays remarkable adaptability, continuously adjusting to the ever changing demands placed upon speakers. -/- . (shrink)

The book is divided into three parts. The first, containing three papers, focuses on the characterization of the central tenets of previii sentism (by Neil McKinnon) and eternalism (by Samuel Baron and Kristie Miller), and on the ‘sceptical stance’ (by Ulrich Meyer), a view to the effect that there is no substantial difference between presentism and eternalism. The second and main section of the book contains three pairs of papers that bring the main problems with presentism to the fore and (...) outlines its defence strategy. Each pair of papers in this section can be read as a discussion between presentists and eternalists, wherein each directly responds to the arguments and objections offered by the other. This is a discussion that is sometimes absent in the literature, or which is at best carried out in a fragmented way. The first two papers of the section deal with the problem of the compatibility of Special Relativity Theory (SRT) and presentism. SRT is often considered to be a theory that contradicts the main tenet of presentism, thereby rendering presentism at odds with one of our most solid scientific theories. Christian Wüthrich’s paper presents arguments for the incompatibility of the two theories (SRT and presentism) within a new framework that includes a discussion of further complications arising from the theory of Qauantum Mechanics. Jonathan Lowe’s paper, by contrast, develops new general arguments against the incompatibility thesis and replies to Wüthrich’s paper. The second pair of papers focuses on the problem that presentists face, in providing grounds for past tensed truths. In the first (by Matthew Davidson), new arguments are provided to defend the idea that the presentist cannot adequately explain how what is now true about the past is grounded, since for the presentist the past is completely devoid of ontological ground. The second paper (by Brian Kierland) takes up the challenge of developing a presentist explanation of past truths, beginning by outlining some existing views in the literature before advancing an original proposal. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

Fine (2005, 2006) has presented a ‘trilemma’ concerning the tense-realist idea that reality is constituted by tensed facts. According to Fine, there are only three ways out of the trilemma, consisting in what he takes to be the three main families of tense-realism: ‘presentism’, ‘(external) relativism’, and ‘fragmentalism’. Importantly, although Fine characterises tense-realism as the thesis that reality is constituted (at least in part) by tensed facts, he explicitly claims that tense realists are not committed to their fundamental existence. Recently, (...) Correia and Rosenkranz (2011, 2012) have claimed that Fine’s tripartite map of tense realism is incomplete as it misses a fourth position they call ‘dynamic absolutism’. In this paper, I will argue that dynamic absolutists are committed to the irreducible existence of tensed facts and that, for this reason, they face a similar trilemma concerning the notion of fact-content. I will thus conclude that a generalised version of Fine’s trilemma, concerning both fact-constitution and fact-content, is indeed inescapable. (shrink)

ABSTRACTThe ability of providing an adequate supervenience base for tensed truths may seem to be one of the main theoretical advantages of both the growing-block and the moving-spotlight theory of time over presentism. However, in this paper I will argue that some propositions appear to be as problematic for growing-block theorists as past-directed propositions are for presentists, namely propositions stating that nothing will be the case in the future. Furthermore, I will show that the moving-spotlight theory can adequately address all (...) the main supervenience challenges that can be levelled against A-theories of time. I will, thus, conclude that, at least as far as the supervenience principle is concerned, the moving-spotlight theory should be preferred over both presentism and the growing-block theory. (shrink)

Many word forms in natural language are polysemous, but only some of them allow for co-predication, that is, they allow for simultaneous predications selecting for two different meanings or senses of a nominal in a sentence. In this paper, we try to explain (i) why some groups of senses allow co-predication and others do not, and (ii) how we interpret co-predicative sentences. The paper focuses on those groups of senses that allow co-predication in an especially robust and stable way. We (...) argue, using these cases, but focusing particularly on the multiply polysemous word ‘school’, that the senses involved in co-predication form especially robust activation packages, which allow hearers and readers to access all the different senses in interpretation. (shrink)

The possibility of changing the past by means of time-travel appears to depend on the possibility of distinguishing the past as it is ‘before’ and ‘after’ the time-travel. So far, all the metaphysical models that have been proposed to account for the possibility of past-changing time-travels operate this distinction by conceiving of time as multi-dimensional, and thus by significantly inflating our metaphysics of time. The aim of this article is to argue that there is an intuitive sense in which past-changing (...) time-travels are metaphysically possible also in one-dimensional time. (shrink)

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality of atoms (...) it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (shrink)

I present a ‘stage-theoretical’ interpretation of the supervaluationist semantics for the growing-block theory of time according to which the ‘nodes’ on the branching tree of historical possibilities are taken to be possible stages of the growth of the growing-block. As I will argue, the resulting interpretation (i) is very intuitive, (ii) can easily ward off an objection to supervaluationist treatments of the growing-block theory presented by Fabrice Correia and Sven Rosenkranz, and (iii) is also not saddled by the problems affecting (...) the supervaluationist version of the growing-block theory defended by R. A. Briggs and Graeme A. Forbes. (shrink)

Most of the theories of location on the market appear to be ideologically parsimonious at least in the sense that they take as primitive just one locative notion and define all the other locative notions in terms of it. Recently, however, the possibility of some exotic metaphysical scenarios involving gunky mixtures and extended simple regions of space has been argued to pose a significant threat to parsimonious theories of locations. The aim of this paper is to show that a theory (...) taking as primitive a notion of plural pervasive location and allowing for irreducibly plural locative facts can account for all the putatively problematic scenarios for parsimonious theories of location. Furthermore, I will also argue that the notion of plural pervasive location is compatible with the possibility of multilocation. (shrink)

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...) Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

The aim of this study is to address the “Grounding Grounding Problem,” that is, the question as to what, if anything, grounds facts about grounding. I aim to show that, if a seemingly plausible principle of modal recombination between fundamental facts and the principle customarily called “Entailment” are assumed, it is possible to prove not only that grounding facts featuring fundamental, contingent grounds are derivative but also that either they are partially grounded in the grounds they feature or they are (...) “abysses”. (shrink)

There is a growing awareness that there are many subtle forms of exclusion and partiality that affect the correct workings of a judicial system. The concept of epistemic injustice, introduced by the philosopher Miranda Fricker, is a useful conceptual tool to understand forms of judicial partiality that often go undetected. In this paper, we present Fricker’s original theory and some of the applications of the concept of epistemic injustice in legal processes. In particular, we want to show that the seed (...) planted by Fricker has flourished into a rich field of study in which the concept is used to analyze many different phenomena in law, not always following the original characterization provided by her. This has led to a distinction between what we will call the narrow version of the concept, which is closer to Fricker’s original account, and the wider version of epistemic injustice, which is a more controversial notion because it is always on the verge of morphing into other well-known concepts like sexism, racial discrimination, oppression, silencing, and gaslighting. We will show that the value of the narrow version is mostly theoretical, and that in order to use the concept of epistemic injustice one must adopt a more liberal understanding of it. (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

It is not by thinking that we create worlds. It is by understanding the world that we learn to think. Cosmovision is a term that should mean a set of foundations from which emerges a systemic understanding of the Universe, its components as life, the world we live in, nature, human phenomena, and their relationships. It is, therefore, a field of analytical philosophy fed by the sciences, whose objective is this aggregated and epistemologically sustainable knowledge about everything that we are (...) and contain, that surrounds us, and that relates to us in any way. It is something as old as human thought, and, in addition to using elements of scientific cosmology, it encompasses everything in philosophy and science that refers to the universe and life. A cosmovision is not a set of ideas, hypotheses, and assumptions but a system based on observation, analysis, evidence, and demonstration. No cosmovision intends to define, establish, or propose but only to understand, analyse, and interpret. Each of us builds and transports his cosmovision throughout life, without establishing forms, as a background for our thinking and behaviour. Linguistically, the term “cosmovision” would derive from the German, equivalent to the concept of “ Weltanschauung,” as used by several philosophers. However, this linguistic relationship is not applicable because it contradicts what we propose as a cosmovision. This German word refers to a pre-logical or proto- experimental vision of reality, with an intuitive context and far from critical knowledge still non-existent at the time of its formulation. Undoubtedly, cosmovisions, in the sense in which we understand them, house and use these proto-experimental or pre-logical elements that include history, the collective unconscious, and all the archetypes we carry. However, in the concept that we apply here, the cosmovision goes far beyond this content, firstly by constantly submitting it to present critical thinking, and finally by making the analytic experience ( and not the thought itself or intuition) its actual universe. António Lopes expose the breadth of this content: -/- "Cosmovisions are not the product of thought. They do not spring from the simple desire to know. The apprehension of reality is an important moment in its configuration, but, nevertheless, it is only one. It comes from the vital conduct, from the experience of life's evaluation, and from the structure of our psychic totality. The elevation of life to consciousness in the knowledge of reality, in the valuation, and in the volitional reality is the slow and arduous work that humanity has done in the development of the conceptions of life. (W. Dilthey, 1992 [1911]: 120)”(1) -/- In this work, we seek to outline a cosmovision based on the realities that science offers today. We do not propose, at any time, to do science; or theorise philosophy, but we will always seek to be supported by them or, at least, protected by them from the cognitive distortions that we usually carry. ________________________________________________ (1) Lopes , Antonio – “ Weltanschauung (Cosmovision)” (2009 ) in Carlos Ceia's E-Dictionary of Literary Terms. -/- . (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...) out the interactions between the notion of localization and nearby notions, such as the notions of part and whole, or of necessity and possibility. A theory of localization—we argue—is needed in order to account for the basic relations between objects and space, and runs afoul a pure part-whole theory. We also provide an axiomatization of the relation of localization and examine cases of localization involving entities different from material objects. (shrink)

In its simplest form, a Spritz is an aperitif made with (sparkling) water and (white) wine. A ‘gunky Spritz’, as I will call it, is a Spritz in which the water and the wine are mixed through and through, so that every proper part of the Spritz has a proper part containing both water and wine. In the literature on the notion of location the possibility of mixtures like a gunky Spritz has been thought of as either threatening seemingly intuitive (...) locative principles, or as requiring the position of multiple primitive locative relations. In this paper I present a new theory of location which assumes as primitive only the notion of pervasive location and show that it can account for the possibility of gunky Spritz in an intuitive and adequate way. (shrink)

It has become common, following Stephen Darwall’s “Two Kinds of Respect”, to distinguish between “appraisal respect” and “recognition respect.” I propose, rather, to distinguish between hierarchical and egalitarian respect. The way the two meanings interact and the way they either support or contrast with each other have yet to be made clear. The meanings gathered under the broad rubric of respect can be highlighted by a genealogy that convincingly shows that the hierarchical notion is fundamental and that the definition of (...) an egalitarian meaning is a decisive shift made mainly by the Enlightenment movement, particularly by Kant. Furthermore, the notion of respect is currently being extended beyond persons—to animals, other living beings, and the environment. I argue that we can justifiably do so on the basis of the interaction between the hierarchical and egalitarian notions of respect. (shrink)

St. Thomas Aquinas has always considered intelligence a potency higher than the will, absolutely speaking. That being said, and in my view, the existential primacy of the will in the act of freedom (particularly in choosing the existential end) is also indisputably Thomistic, as Cornelio Fabro has shown. This paper endeavors to explain Aquinas' doctrine on the absolute primacy of the intellect and thus show that these two primacies can be affirmed coherently, that is, the intellect’s absolute primacy and the (...) will’s existential primacy. Firstly, I will explain the reasoning St. Thomas Aquinas uses in the Summa to justify the absolute primacy of the intellect over the will. Secondly, I will explore some parallel texts, in order to shed light on my interpretation of the Summa and expand our view regarding this and related doctrinal points. Thirdly, I will offer a brief study of Fabro’s position, one in which his concerns regarding the intellect’s absolute primacy are taken into account and carefully considered. (shrink)

In this paper I start from a definition of “culture of the artificial” which might be stated by referring to the background of philosophical, methodological, pragmatical assumptions which characterizes the development of the information processing analysis of mental processes and of some trends in contemporary cognitive science: in a word, the development of AI as a candidate science of mind. The aim of this paper is to show how (with which plausibility and limitations) the discovery of the mentioned background might (...) be dated back to a period preceding the cybernetic era, the decade 1930–1940 at least. Therefore a somewhat detailed analysis of Hull's “robot approach” is given, as well as of some of its independent and future developments. -/- Reprinted in R.L. Chrisley (ed.), Artificial Intelligence: Critical Concepts in Cognitive Science, vol. 1, Routledge, London and New York, 2000, pp. 301-326. (shrink)

Il Tractatus de praedestinatione et de praescientia Dei respectu futurorum contingentium, composto da Guglielmo di Ockham tra il 1321 e il 1324, costituisce uno snodo cruciale nelle discussioni medievali sul tema del fatalismo teologico e sulle questioni che vi sono implicate, come la conoscenza dei futuri contingenti e il compatibilismo tra prescienza divina e libero arbitrio. Raccogliendo e ripensando fonti di diversa provenienza, Roberto Grossatesta e Pietro Lombardo in primis, il Venerabilis inceptor sposta il problema sul piano epistemologico e (...) linguistico, affrontandolo dal punto di vista di un’analisi proposizionale degli enunciati che parlano dei contingenti futuri. In questo modo egli affida agli strumenti dell’argomentazione logica e dell’indagine semantica il compito di sciogliere le implicazioni teologiche della questione, in una teoria che garantisca al contempo la prescienza di Dio e la libera volontà umana. Il principio della soluzione ockhamiana, che costituirà un punto di riferimento – pro o contro – nei dibattiti teologici del XIV secolo, consiste nell’intreccio tra analisi proposizionale e logica fidei, in nome di una soluzione pragmatica del dilemma compatibilista: come mostra il caso esemplare della profezia, gli enunciati della scienza divina costituiscono i postulati di una logica della credenza che poi procede da quelle premesse, attraverso una catena argomentativa, a formulare i precetti che guideranno i passi del cristiano nel mondo. Il volume rende disponibile per la prima volta al lettore non soltanto la prima traduzione in italiano del Tractatus, ma anche un ricco apparato di testi (le distinctiones 38, 39 e 40 dell’Ordinatio, i capitoli 7 e 27 della Summa Logicae, la quaestio IV.4 dei Quodlibeta, le Quaestiones in Libros Physicorum 41 e 44, il prologo della Expositio in libros Physicorum e un estratto dalla Expositio in Librum Perihermeneias Aristotelis) che consente di ricostruire in modo coerente una teoria ockhamiana della contingenza e di gettare luce su una nuova interpretazione del pensiero del teologo e filosofo inglese. (shrink)

In a recent paper, Erasmus et al. (2021) defend the idea that the ambiguity of the term “explanation” in explainable AI (XAI) can be solved by adopting any of four different extant accounts of explanation in the philosophy of science: the Deductive Nomological, Inductive Statistical, Causal Mechanical, and New Mechanist models. In this chapter, I show that the authors’ claim that these accounts can be applied to deep neural networks as they would to any natural phenomenon is mistaken. I also (...) provide a more general argument as to why the notion of explainability as it is currently used in the XAI literature bears little resemblance to the traditional concept of scientific explanation. It would be more fruitful to use the label “understandable AI” to avoid the confusion that surrounds the goal and purposes of XAI. In the second half of the chapter, I argue for a pragmatic conception of understanding that is better suited to play the central role attributed to explanation in XAI. Following De Regt (2017) and Kuorikoski and Ylikoski (2015), the conditions of satisfaction for understanding an ML system are fleshed out in terms of an agent’s success in using the system. (shrink)

This paper is an attempt to clarify, from a Thomistic point of view, the nature and method of metaphysics. I argue that metaphysics' object is created being, not God, even if God enters metaphysics as efficient cause of metaphysic's object. Also, that metaphysics is a science, insofar as a particular kind of coherent reasoning process, going from the many to understand a certain oneness, and then from that oneness to reinterpret the many. Moreover, that, in this particular process of reasoning, (...) doctrinal topics must follow a certain order. Thus, in particular, I argue that the distinction between essence and act of being in every creature cannot be argued before arguing the existence of God. I touch upon the notion of separation in metaphysics and I compare Aquinas' notion of resolution with Fabro's notion. (shrink)

This chapter analyzes the concept of an event and of event representation as an umbrella notion. It provides an overview of different ways events have been dealt with in philosophy, linguistics, and cognitive science. This variety of positions has been construed in part as the result of different descriptive and explanatory projects. It is argued that various types of notions — common-sense, theoretically revised, scientific, and internalist psychological — be kept apart.

Since the second half of the XXth century, researchers in cybernetics and AI, neural nets and connectionism, Artificial Life and new robotics have endeavoured to build different machines that could simulate functions of living organisms, such as adaptation and development, problem solving and learning. In this book these research programs are discussed, particularly as regard the epistemological issues of the behaviour modelling. One of the main novelty of this book consists of the fact that certain projects involving the building of (...) simulative machine models before the advent of cybernetics are been investigated for the first time, on the basis of little known, and sometimes completely forgotten or unpublished, texts and figures. These pre-cybernetics projects can be considered as steps toward the “discovery” of a modelling methodology that has been fully developed by those more recent research programs, and that shares some of their central goals and key methodological proposals. -/- More info in Springer link: http://www.springer.com/new+%26+forthcoming+titles+%28default%29/book/978-1-4020-0606-7 -/- This book is the English translation of La scoperta dell'artificiale, Dunod/Masson, Milan, 1998. (shrink)

In this paper I investigate Aristotle’s account of predication in Topics I 9. I argue for the following interpretation. In this chapter Aristotle (i) presents two systems of predication cutting across each other, the system of the so-called four ‘predicables’ and of the ten ‘categories’, in order to distinguish them and explore their mutual relationship. I propose a semantic interpretation of the relationship between them. According to this reading, every proposition formed through a predicable constitutes at the same time a (...) predication according to one of the ten categories, and, consequently, signifies one of them, expressing one of the predicative relationship conveyed by them. Further, Aristotle (ii) explains the predicative connection between these two systems and the ten items signified by the ‘things said without any combination’ enumerated in Chapter 4 of the Categories, whose list is almost identical with that of categories in Top. I 9, with the only exception of their first members. (shrink)

In this article I examine the main conceptions of public reason in contemporary political philosophy in order to set the frame for appreciating the novelty of the pragmatist understanding of public reason as based upon the notion of consequences and upon a theory of rationality as inquiry. The approach is inspired by Dewey but is free from any concern with history of philosophy. The aim is to propose a different understanding of the nature of public reason aimed at overcoming the (...) limitations of the existing approaches. Public reason is presented as the proper basis for discussing contested issues in the broad frame of deep democracy. (shrink)